退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:集成规范和程序以进行系统建模和验证
Jun Sun; Yang Liu; Jin Song Dong; Chunqing Chen;
机译:分散式CSCW系统编程模型中的安全要求规范和验证
机译:自动机程序的建模,规范和验证
机译:基于类别理论的圆柱度规格与验证之间的集成建模
机译:使用轮廓/过渡网(PETRI网,规范,验证)对并发系统进行建模和分析
机译:通过生物启发式启发式算法结合顺序二次规划进行模因运算以解决不同物理模型中出现的非线性系统
机译:使用模型检查和马尔可夫奖励模型的系统规范和验证
机译:通过进程间通信和应用程序接口规范将专家系统与实体建模集成。
机译:混合系统的验证方法,验证装置和验证计算机程序;混合系统的模型转换方法,模型转换装置和模型转换计算机程序
机译:用于硬件验证的编程语言模型生成设备,用于硬件验证的编程语言模型生成方法,计算机系统,硬件仿真方法,控制程序和计算机可读存储介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。